Testing aspect-oriented programs with finite state machines
نویسندگان
چکیده
1National Center for the Protection of the Financial Infrastructure, Dakota State University, Madison, SD 57042, U.S.A. 2Department of Computer Science, North Dakota State University, Fargo, ND 58105, U.S.A. 3Computer Science Department, Gannon University, Erie, PA 16541, U.S.A. 4State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing 210093, People’s Republic of China
منابع مشابه
Aspect-Oriented Monitoring of C Programs
The paper presents current work on extending ASPECTC with state machines, resulting in a framework for aspect-oriented monitoring of C programs. Such a framework can be used for testing purposes, or it can be part of a fault protection strategy. The long term goal is to explore the synergy between the fields of runtime verification, focused on program monitoring, and aspect-oriented programming...
متن کاملUsing aspect-oriented state machines for detecting and resolving feature interactions
Composing different features in a software system may lead to conflicting situations. The presence of one feature may interfere with the correct functionality of another feature, resulting in an incorrect behavior of the system. In this work we present an approach to manage feature interactions. A formal model, using Finite State Machines (FSM) and Aspect-Oriented (AO) technology, is used to sp...
متن کاملTowards Aspect-Oriented State Machines
UML state machines provide an operational view of the behavior of software systems. However, properties of the execution history of state machines cannot be expressed modularly. This often leads to model elements addressing the same concern scattered all over the machine. We present an initial approach to aspect-oriented state machines, which show considerably better modularity in designs of hi...
متن کاملRuntime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from the program. The state machine language has been inspired by a graphical state machine language RCAT recently developed at the Jet Propulsion Laboratory, as an alternative to using Linear Temporal Logic (LTL) for requi...
متن کاملTest Case Generation for Class - Level Object - Oriented Testing *
In this paper, we discuss a new testing process to generate test cases for object-oriented programs. We focus on classes with mutable objects. The test case construction process is guided by formal object-oriented specifications. In our approach, testers first analyze the formal specification of a class to partition the state space of the class and identify a test model that is based on finite-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softw. Test., Verif. Reliab.
دوره 22 شماره
صفحات -
تاریخ انتشار 2012